Skip to content

Conversation

@mkuratczyk
Copy link
Contributor

Fixes #7532

@michaelklishin michaelklishin merged commit 07317fc into main Mar 8, 2023
@michaelklishin michaelklishin deleted the fix-cluster-hint branch March 8, 2023 12:45
michaelklishin added a commit that referenced this pull request Mar 8, 2023
Fix reached_target_cluster_size() after recent changes (backport #7535)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Version 3.12 does not import a definitions file correctly

3 participants